4

Bounded quantification and relations recognizable by finite automata

Year:
1978
Language:
english
File:
PDF, 578 KB
english, 1978